Statement Gordon Stewart

نویسنده

  • Gordon Stewart
چکیده

Software systems are complex. They coordinate components written at di erent times, by di erent people, perhaps even in di erent programming languages, to accomplish shared goals. Operating systems, for example, contain device drivers written by third parties, which must be trusted (or proved) not to crash the kernel. OSs are also typically implemented in multiple languages (e.g., context switching code in assembly interacting with schedulers written in C), which can lead to complicated system-level invariants and subtle bugs. Other widely used software systems, such as the implementations of languages like Java and OCaml, are just as heterogeneous: The compiler is written in a high-level language but generates code that is linked to garbage collectors and other runtime components written in C or C++.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Analytical solutions for the fractional Klein-Gordon equation

In this paper, we solve a inhomogeneous fractional Klein-Gordon equation by the method of separating variables. We apply the method for three boundary conditions, contain Dirichlet, Neumann, and Robin boundary conditions, and solve some examples to illustrate the effectiveness of the method.

متن کامل

On the exoneration of Dr. William H. Stewart: debunking an urban legend

BACKGROUND It is one of the most infamous quotes in the history of biomedicine: "It is time to close the book on infectious diseases, and declare the war against pestilence won." Long attributed to the United States Surgeon General, Dr. William H. Stewart (1965-1969), the statement is frequently used as a foil by scientific and lay authors to underscore the ever-increasing problems of antibioti...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014